2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 57 66 35 91 148 73 48 0

N.S.

1 1.00 1.21 1.40 0.74 1.94 3.15 1.55 1.02 0.00

time (sec)

N/A 0.155 0.091 0.080 0.283 0.225 1.828 77.244 0.001 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 17 16 23 88 42 41 21

N.S.

1 1.00 1.00 0.77 0.73 1.05 4.00 1.91 1.86 0.95

time (sec)

N/A 0.131 0.055 0.077 0.205 0.222 1.202 0.316 0.002 0.288

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 41 25 33 34 241 61 64 32

N.S.

1 1.00 0.89 0.54 0.72 0.74 5.24 1.33 1.39 0.70

time (sec)

N/A 0.140 0.061 0.079 0.208 0.222 3.534 0.303 0.003 0.290

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

71 77 52 36 49 46 707 79 85 43

N.S.

1 1.08 0.73 0.51 0.69 0.65 9.96 1.11 1.20 0.61

time (sec)

N/A 0.161 0.068 0.182 0.194 0.222 12.372 0.296 0.004 0.332

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

108 124 84 71 163 140 117 198 85 0

N.S.

1 1.15 0.78 0.66 1.51 1.30 1.08 1.83 0.79 0.00

time (sec)

N/A 0.194 0.281 0.103 0.329 0.241 26.371 12.341 0.002 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

84 95 73 63 134 121 90 162 68 0

N.S.

1 1.13 0.87 0.75 1.60 1.44 1.07 1.93 0.81 0.00

time (sec)

N/A 0.179 0.225 0.074 0.302 0.234 5.444 11.251 0.002 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

64 66 65 55 98 101 71 134 51 46

N.S.

1 1.03 1.02 0.86 1.53 1.58 1.11 2.09 0.80 0.72

time (sec)

N/A 0.162 0.164 0.074 0.285 0.238 2.147 11.162 0.001 0.264

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 46 49 68 86 37 66 37 40

N.S.

1 1.00 1.15 1.22 1.70 2.15 0.92 1.65 0.92 1.00

time (sec)

N/A 0.146 0.049 0.071 0.306 0.230 0.949 5.885 0.001 0.704

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 47 49 54 87 48 63 43 0

N.S.

1 1.00 1.15 1.20 1.32 2.12 1.17 1.54 1.05 0.00

time (sec)

N/A 0.147 0.055 0.075 0.303 0.235 0.895 5.824 0.001 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 13 12 12 37 29 36 18

N.S.

1 1.00 1.00 0.72 0.67 0.67 2.06 1.61 2.00 1.00

time (sec)

N/A 0.125 0.021 0.074 0.203 0.223 0.874 0.298 0.002 0.255

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 31 18 26 25 56 42 53 26

N.S.

1 1.00 0.82 0.47 0.68 0.66 1.47 1.11 1.39 0.68

time (sec)

N/A 0.136 0.059 0.089 0.206 0.222 2.099 0.312 0.002 0.254

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

59 62 40 27 41 34 270 55 70 34

N.S.

1 1.05 0.68 0.46 0.69 0.58 4.58 0.93 1.19 0.58

time (sec)

N/A 0.143 0.064 0.186 0.208 0.230 10.513 0.292 0.003 0.264

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

112 129 86 89 147 141 250 216 92 0

N.S.

1 1.15 0.77 0.79 1.31 1.26 2.23 1.93 0.82 0.00

time (sec)

N/A 0.193 0.295 0.109 0.294 0.234 26.494 12.078 0.002 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

87 99 76 81 117 125 194 178 75 0

N.S.

1 1.14 0.87 0.93 1.34 1.44 2.23 2.05 0.86 0.00

time (sec)

N/A 0.181 0.248 0.078 0.307 0.238 7.601 12.016 0.002 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

65 69 67 73 81 107 155 149 57 53

N.S.

1 1.06 1.03 1.12 1.25 1.65 2.38 2.29 0.88 0.82

time (sec)

N/A 0.164 0.169 0.086 0.307 0.237 3.232 12.146 0.001 0.138

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 56 63 49 89 119 70 41 42

N.S.

1 1.00 1.37 1.54 1.20 2.17 2.90 1.71 1.00 1.02

time (sec)

N/A 0.150 0.104 0.078 0.335 0.235 1.159 6.134 0.001 0.813

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 57 64 35 90 122 69 48 0

N.S.

1 1.00 1.36 1.52 0.83 2.14 2.90 1.64 1.14 0.00

time (sec)

N/A 0.144 0.071 0.076 0.331 0.225 1.007 5.806 0.001 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 14 13 18 83 35 37 18

N.S.

1 1.00 1.00 0.74 0.68 0.95 4.37 1.84 1.95 0.95

time (sec)

N/A 0.126 0.053 0.073 0.240 0.228 1.097 0.304 0.002 0.274

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 31 19 28 25 194 48 56 26

N.S.

1 1.00 0.78 0.48 0.70 0.62 4.85 1.20 1.40 0.65

time (sec)

N/A 0.142 0.061 0.085 0.214 0.232 2.925 0.315 0.002 0.239

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

62 65 41 28 44 35 556 61 75 34

N.S.

1 1.05 0.66 0.45 0.71 0.56 8.97 0.98 1.21 0.55

time (sec)

N/A 0.147 0.066 0.081 0.213 0.230 9.583 0.295 0.003 0.264

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

143 156 107 109 212 184 178 356 114 0

N.S.

1 1.09 0.75 0.76 1.48 1.29 1.24 2.49 0.80 0.00

time (sec)

N/A 0.201 0.431 0.077 0.314 0.231 80.462 236.798 0.003 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

119 126 96 98 178 163 153 299 95 0

N.S.

1 1.06 0.81 0.82 1.50 1.37 1.29 2.51 0.80 0.00

time (sec)

N/A 0.187 0.334 0.078 0.306 0.258 16.576 231.639 0.002 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

95 96 84 87 144 140 124 246 76 0

N.S.

1 1.01 0.88 0.92 1.52 1.47 1.31 2.59 0.80 0.00

time (sec)

N/A 0.172 0.275 0.077 0.304 0.241 4.657 233.769 0.001 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

71 68 62 73 107 119 75 85 57 0

N.S.

1 0.96 0.87 1.03 1.51 1.68 1.06 1.20 0.80 0.00

time (sec)

N/A 0.158 0.084 0.080 0.315 0.244 2.112 79.383 0.002 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

63 64 62 71 84 109 92 75 59 0

N.S.

1 1.02 0.98 1.13 1.33 1.73 1.46 1.19 0.94 0.00

time (sec)

N/A 0.156 0.153 0.188 0.310 0.239 2.222 77.224 0.001 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

64 66 55 67 67 109 71 81 55 0

N.S.

1 1.03 0.86 1.05 1.05 1.70 1.11 1.27 0.86 0.00

time (sec)

N/A 0.159 0.112 0.082 0.300 0.230 2.236 76.884 0.002 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

149 162 108 113 207 185 376 409 122 0

N.S.

1 1.09 0.72 0.76 1.39 1.24 2.52 2.74 0.82 0.00

time (sec)

N/A 0.209 0.417 0.080 0.307 0.239 80.523 229.429 0.003 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

124 131 99 102 170 163 323 341 102 0

N.S.

1 1.06 0.80 0.82 1.37 1.31 2.60 2.75 0.82 0.00

time (sec)

N/A 0.201 0.332 0.079 0.317 0.236 17.434 230.838 0.003 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

99 100 86 91 133 141 264 281 82 0

N.S.

1 1.01 0.87 0.92 1.34 1.42 2.67 2.84 0.83 0.00

time (sec)

N/A 0.182 0.268 0.188 0.326 0.228 4.897 228.296 0.002 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

74 71 72 77 93 119 190 95 62 0

N.S.

1 0.96 0.97 1.04 1.26 1.61 2.57 1.28 0.84 0.00

time (sec)

N/A 0.170 0.196 0.082 0.306 0.229 2.900 76.746 0.001 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

66 67 65 74 68 109 197 82 65 0

N.S.

1 1.02 0.98 1.12 1.03 1.65 2.98 1.24 0.98 0.00

time (sec)

N/A 0.161 0.156 0.083 0.295 0.236 2.903 78.775 0.002 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

67 70 67 71 49 115 187 94 60 0

N.S.

1 1.04 1.00 1.06 0.73 1.72 2.79 1.40 0.90 0.00

time (sec)

N/A 0.164 0.106 0.083 0.304 0.242 2.443 76.073 0.003 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

126 147 92 79 194 156 136 311 101 0

N.S.

1 1.17 0.73 0.63 1.54 1.24 1.08 2.47 0.80 0.00

time (sec)

N/A 0.203 0.377 0.200 0.303 0.242 81.395 16.779 0.002 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

105 118 83 71 163 137 117 262 84 0

N.S.

1 1.12 0.79 0.68 1.55 1.30 1.11 2.50 0.80 0.00

time (sec)

N/A 0.184 0.291 0.080 0.302 0.233 16.726 16.643 0.002 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

82 84 74 63 132 124 92 221 69 0

N.S.

1 1.02 0.90 0.77 1.61 1.51 1.12 2.70 0.84 0.00

time (sec)

N/A 0.166 0.256 0.077 0.306 0.225 5.147 16.769 0.001 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

61 63 54 54 98 105 76 77 52 0

N.S.

1 1.03 0.89 0.89 1.61 1.72 1.25 1.26 0.85 0.00

time (sec)

N/A 0.152 0.069 0.077 0.312 0.229 2.349 6.100 0.002 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

58 60 59 55 81 99 73 68 56 0

N.S.

1 1.03 1.02 0.95 1.40 1.71 1.26 1.17 0.97 0.00

time (sec)

N/A 0.158 0.137 0.082 0.298 0.236 1.846 6.079 0.001 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

60 62 55 55 67 108 70 79 54 0

N.S.

1 1.03 0.92 0.92 1.12 1.80 1.17 1.32 0.90 0.00

time (sec)

N/A 0.158 0.089 0.083 0.313 0.235 1.752 5.753 0.002 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

131 153 94 97 179 157 289 338 109 0

N.S.

1 1.17 0.72 0.74 1.37 1.20 2.21 2.58 0.83 0.00

time (sec)

N/A 0.197 0.362 0.090 0.320 0.240 80.750 17.067 0.003 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

109 123 85 89 147 139 250 287 92 0

N.S.

1 1.13 0.78 0.82 1.35 1.28 2.29 2.63 0.84 0.00

time (sec)

N/A 0.184 0.295 0.083 0.305 0.232 18.742 17.729 0.001 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

84 88 76 81 115 125 197 245 75 0

N.S.

1 1.05 0.90 0.96 1.37 1.49 2.35 2.92 0.89 0.00

time (sec)

N/A 0.162 0.240 0.081 0.300 0.236 4.292 17.540 0.002 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

63 65 64 69 79 107 165 83 58 0

N.S.

1 1.03 1.02 1.10 1.25 1.70 2.62 1.32 0.92 0.00

time (sec)

N/A 0.150 0.168 0.080 0.298 0.231 2.028 6.047 0.001 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

60 62 62 70 63 101 158 75 62 0

N.S.

1 1.03 1.03 1.17 1.05 1.68 2.63 1.25 1.03 0.00

time (sec)

N/A 0.163 0.138 0.085 0.300 0.233 2.581 6.145 0.002 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

62 65 65 70 49 111 184 88 59 0

N.S.

1 1.05 1.05 1.13 0.79 1.79 2.97 1.42 0.95 0.00

time (sec)

N/A 0.158 0.104 0.085 0.293 0.240 2.918 5.785 0.002 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F(-1) F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

164 180 118 120 244 206 0 0 133 0

N.S.

1 1.10 0.72 0.73 1.49 1.26 0.00 0.00 0.81 0.00

time (sec)

N/A 0.214 0.501 0.087 0.304 0.244 0.000 0.000 0.003 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

140 150 107 109 212 185 180 0 114 0

N.S.

1 1.07 0.76 0.78 1.51 1.32 1.29 0.00 0.81 0.00

time (sec)

N/A 0.200 0.417 0.086 0.315 0.237 46.341 0.000 0.003 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

116 120 95 98 176 162 155 0 95 0

N.S.

1 1.03 0.82 0.84 1.52 1.40 1.34 0.00 0.82 0.00

time (sec)

N/A 0.184 0.361 0.086 0.308 0.228 13.654 0.000 0.002 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 73 84 141 141 102 101 76 0

N.S.

1 1.00 0.79 0.91 1.53 1.53 1.11 1.10 0.83 0.00

time (sec)

N/A 0.171 0.104 0.086 0.317 0.232 5.574 77.218 0.002 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

89 88 81 84 125 137 126 90 82 0

N.S.

1 0.99 0.91 0.94 1.40 1.54 1.42 1.01 0.92 0.00

time (sec)

N/A 0.169 0.240 0.087 0.327 0.242 5.597 75.937 0.002 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

86 88 77 82 100 138 99 98 84 0

N.S.

1 1.02 0.90 0.95 1.16 1.60 1.15 1.14 0.98 0.00

time (sec)

N/A 0.177 0.186 0.092 0.315 0.233 3.890 77.236 0.004 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F(-1) F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

171 187 120 124 242 208 0 0 142 0

N.S.

1 1.09 0.70 0.73 1.42 1.22 0.00 0.00 0.83 0.00

time (sec)

N/A 0.219 0.524 0.089 0.326 0.245 0.000 0.000 0.004 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

146 156 109 113 207 186 379 0 122 0

N.S.

1 1.07 0.75 0.77 1.42 1.27 2.60 0.00 0.84 0.00

time (sec)

N/A 0.203 0.412 0.086 0.310 0.230 49.609 0.000 0.003 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

121 125 97 102 168 164 326 0 102 0

N.S.

1 1.03 0.80 0.84 1.39 1.36 2.69 0.00 0.84 0.00

time (sec)

N/A 0.187 0.336 0.085 0.293 0.229 11.403 0.000 0.003 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 83 88 130 142 246 112 82 0

N.S.

1 1.00 0.86 0.92 1.35 1.48 2.56 1.17 0.85 0.00

time (sec)

N/A 0.170 0.267 0.083 0.290 0.231 6.535 77.453 0.002 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

93 92 83 88 112 137 267 100 89 0

N.S.

1 0.99 0.89 0.95 1.20 1.47 2.87 1.08 0.96 0.00

time (sec)

N/A 0.172 0.227 0.086 0.292 0.244 5.089 76.100 0.003 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

90 92 79 86 84 139 245 112 91 0

N.S.

1 1.02 0.88 0.96 0.93 1.54 2.72 1.24 1.01 0.00

time (sec)

N/A 0.172 0.180 0.092 0.310 0.239 4.916 77.896 0.004 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F(-1) B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

144 170 100 87 223 172 0 436 117 0

N.S.

1 1.18 0.69 0.60 1.55 1.19 0.00 3.03 0.81 0.00

time (sec)

N/A 0.210 0.446 0.092 0.288 0.231 0.000 23.790 0.002 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

123 136 92 79 194 155 138 375 101 0

N.S.

1 1.11 0.75 0.64 1.58 1.26 1.12 3.05 0.82 0.00

time (sec)

N/A 0.192 0.376 0.077 0.301 0.239 48.274 22.376 0.002 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

102 107 84 71 161 140 119 322 85 0

N.S.

1 1.05 0.82 0.70 1.58 1.37 1.17 3.16 0.83 0.00

time (sec)

N/A 0.176 0.303 0.079 0.300 0.236 11.367 23.418 0.002 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

79 86 63 63 129 123 97 90 69 0

N.S.

1 1.09 0.80 0.80 1.63 1.56 1.23 1.14 0.87 0.00

time (sec)

N/A 0.163 0.087 0.079 0.309 0.229 4.288 5.794 0.001 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

79 83 70 63 113 116 94 77 71 0

N.S.

1 1.05 0.89 0.80 1.43 1.47 1.19 0.97 0.90 0.00

time (sec)

N/A 0.168 0.209 0.082 0.288 0.228 4.710 5.887 0.002 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

81 84 63 63 96 123 88 91 78 0

N.S.

1 1.04 0.78 0.78 1.19 1.52 1.09 1.12 0.96 0.00

time (sec)

N/A 0.170 0.105 0.085 0.320 0.231 4.574 6.113 0.003 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F(-1) B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

150 177 102 105 209 173 0 472 126 0

N.S.

1 1.18 0.68 0.70 1.39 1.15 0.00 3.15 0.84 0.00

time (sec)

N/A 0.214 0.477 0.095 0.306 0.235 0.000 22.273 0.002 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

128 142 94 97 179 157 292 409 109 0

N.S.

1 1.11 0.73 0.76 1.40 1.23 2.28 3.20 0.85 0.00

time (sec)

N/A 0.194 0.379 0.081 0.317 0.239 41.448 23.386 0.002 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

106 112 86 89 145 141 253 355 92 0

N.S.

1 1.06 0.81 0.84 1.37 1.33 2.39 3.35 0.87 0.00

time (sec)

N/A 0.189 0.297 0.082 0.294 0.238 9.923 23.337 0.007 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

82 89 73 78 112 125 207 96 75 0

N.S.

1 1.09 0.89 0.95 1.37 1.52 2.52 1.17 0.91 0.00

time (sec)

N/A 0.169 0.240 0.087 0.315 0.229 4.241 5.746 0.001 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

82 86 72 78 96 117 201 83 78 0

N.S.

1 1.05 0.88 0.95 1.17 1.43 2.45 1.01 0.95 0.00

time (sec)

N/A 0.168 0.195 0.089 0.300 0.232 4.254 5.719 0.002 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

84 87 73 78 79 126 223 99 85 0

N.S.

1 1.04 0.87 0.93 0.94 1.50 2.65 1.18 1.01 0.00

time (sec)

N/A 0.168 0.153 0.107 0.301 0.238 4.498 5.853 0.002 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

101 108 84 87 146 140 128 100 76 0

N.S.

1 1.07 0.83 0.86 1.45 1.39 1.27 0.99 0.75 0.00

time (sec)

N/A 0.178 0.229 0.085 0.301 0.238 10.022 77.345 0.001 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

77 78 74 76 112 119 100 76 57 0

N.S.

1 1.01 0.96 0.99 1.45 1.55 1.30 0.99 0.74 0.00

time (sec)

N/A 0.164 0.161 0.084 0.405 0.241 3.294 76.584 0.001 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 58 65 73 91 44 63 38 44

N.S.

1 1.00 1.21 1.35 1.52 1.90 0.92 1.31 0.79 0.92

time (sec)

N/A 0.152 0.126 0.087 0.366 0.232 1.320 76.906 0.001 0.639

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 30 48 41 57 22 38 25 30

N.S.

1 1.00 1.07 1.71 1.46 2.04 0.79 1.36 0.89 1.07

time (sec)

N/A 0.138 0.034 0.083 0.550 0.233 0.977 77.663 0.001 0.054

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 16 15 15 19 33 23 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 1.00 1.74 1.21 0.79

time (sec)

N/A 0.127 0.018 0.085 0.225 0.228 0.758 0.335 0.001 0.438

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 27 22 31 23 42 50 40 25

N.S.

1 1.00 0.61 0.50 0.70 0.52 0.95 1.14 0.91 0.57

time (sec)

N/A 0.140 0.058 0.085 0.216 0.223 1.545 0.334 0.002 0.516

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

68 74 40 35 46 34 287 66 61 36

N.S.

1 1.09 0.59 0.51 0.68 0.50 4.22 0.97 0.90 0.53

time (sec)

N/A 0.153 0.067 0.086 0.214 0.226 4.692 0.316 0.002 0.392

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

92 104 51 46 61 45 488 82 80 47

N.S.

1 1.13 0.55 0.50 0.66 0.49 5.30 0.89 0.87 0.51

time (sec)

N/A 0.166 0.076 0.086 0.201 0.224 12.034 0.326 0.005 0.408

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

96 103 84 119 131 175 105 131 85 0

N.S.

1 1.07 0.88 1.24 1.36 1.82 1.09 1.36 0.89 0.00

time (sec)

N/A 0.179 0.232 0.099 0.328 0.231 6.029 15.819 0.003 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

68 73 65 106 92 145 71 115 68 0

N.S.

1 1.07 0.96 1.56 1.35 2.13 1.04 1.69 1.00 0.00

time (sec)

N/A 0.169 0.185 0.098 0.285 0.234 2.330 15.874 0.002 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A A B B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

48 48 58 0 57 119 46 85 56 0

N.S.

1 1.00 1.21 0.00 1.19 2.48 0.96 1.77 1.17 0.00

time (sec)

N/A 0.148 0.099 0.000 0.299 0.229 1.191 16.248 0.001 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 16 15 22 17 45 30 22

N.S.

1 1.00 1.00 0.84 0.79 1.16 0.89 2.37 1.58 1.16

time (sec)

N/A 0.127 0.018 0.087 0.205 0.224 1.028 0.331 0.001 0.354

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 25 22 32 34 41 82 39 39

N.S.

1 1.00 0.64 0.56 0.82 0.87 1.05 2.10 1.00 1.00

time (sec)

N/A 0.137 0.062 0.230 0.213 0.220 0.811 0.313 0.002 0.474

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

63 69 38 33 50 49 219 98 55 46

N.S.

1 1.10 0.60 0.52 0.79 0.78 3.48 1.56 0.87 0.73

time (sec)

N/A 0.152 0.084 0.091 0.209 0.226 2.730 0.326 0.003 0.590

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

87 99 49 44 64 58 348 121 70 58

N.S.

1 1.14 0.56 0.51 0.74 0.67 4.00 1.39 0.80 0.67

time (sec)

N/A 0.171 0.093 0.097 0.208 0.225 6.496 0.307 0.003 0.470

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

91 102 80 147 109 214 396 192 136 0

N.S.

1 1.12 0.88 1.62 1.20 2.35 4.35 2.11 1.49 0.00

time (sec)

N/A 0.180 0.257 0.112 0.280 0.237 5.304 16.598 0.003 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A B B B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

69 74 68 0 69 186 328 165 94 0

N.S.

1 1.07 0.99 0.00 1.00 2.70 4.75 2.39 1.36 0.00

time (sec)

N/A 0.164 0.191 0.000 0.287 0.235 3.015 16.125 0.001 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 16 15 33 42 86 52 36

N.S.

1 1.00 1.00 0.76 0.71 1.57 2.00 4.10 2.48 1.71

time (sec)

N/A 0.127 0.021 0.091 0.199 0.229 0.809 0.339 0.001 0.245

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 29 24 27 43 92 81 61 54

N.S.

1 1.00 0.67 0.56 0.63 1.00 2.14 1.88 1.42 1.26

time (sec)

N/A 0.142 0.064 0.091 0.210 0.229 1.251 0.314 0.001 0.397

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

64 68 40 35 46 58 153 159 74 71

N.S.

1 1.06 0.62 0.55 0.72 0.91 2.39 2.48 1.16 1.11

time (sec)

N/A 0.154 0.082 0.102 0.243 0.226 2.293 0.338 0.003 0.463

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

84 96 49 44 64 71 337 175 92 88

N.S.

1 1.14 0.58 0.52 0.76 0.85 4.01 2.08 1.10 1.05

time (sec)

N/A 0.164 0.091 0.105 0.212 0.225 3.787 0.323 0.003 0.698

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

105 112 86 91 135 141 270 116 82 0

N.S.

1 1.07 0.82 0.87 1.29 1.34 2.57 1.10 0.78 0.00

time (sec)

N/A 0.172 0.243 0.090 0.297 0.235 10.149 78.891 0.002 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

80 81 75 80 98 119 214 85 62 0

N.S.

1 1.01 0.94 1.00 1.22 1.49 2.68 1.06 0.78 0.00

time (sec)

N/A 0.159 0.175 0.091 0.297 0.228 4.526 78.088 0.002 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 61 70 56 93 121 73 43 47

N.S.

1 1.00 1.22 1.40 1.12 1.86 2.42 1.46 0.86 0.94

time (sec)

N/A 0.143 0.110 0.091 0.291 0.231 2.595 77.536 0.001 0.539

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 39 51 21 57 54 45 28 27

N.S.

1 1.00 1.34 1.76 0.72 1.97 1.86 1.55 0.97 0.93

time (sec)

N/A 0.132 0.056 0.087 0.288 0.233 0.938 77.184 0.000 0.035

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 46 35 25 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 2.30 1.75 1.25 0.80

time (sec)

N/A 0.126 0.018 0.088 0.206 0.223 0.582 0.290 0.002 0.377

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 28 23 32 22 177 54 43 26

N.S.

1 1.00 0.61 0.50 0.70 0.48 3.85 1.17 0.93 0.57

time (sec)

N/A 0.139 0.060 0.089 0.198 0.224 1.187 0.303 0.002 0.376

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

100 107 86 127 118 181 224 154 92 0

N.S.

1 1.07 0.86 1.27 1.18 1.81 2.24 1.54 0.92 0.00

time (sec)

N/A 0.181 0.251 0.103 0.297 0.235 7.076 16.097 0.003 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A C B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

71 76 68 114 75 152 155 130 75 0

N.S.

1 1.07 0.96 1.61 1.06 2.14 2.18 1.83 1.06 0.00

time (sec)

N/A 0.164 0.214 0.102 0.295 0.237 2.326 15.783 0.003 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A C B B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

50 50 60 0 38 128 102 98 62 0

N.S.

1 1.00 1.20 0.00 0.76 2.56 2.04 1.96 1.24 0.00

time (sec)

N/A 0.148 0.128 0.000 0.298 0.224 1.031 16.089 0.001 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 17 16 25 44 53 34 24

N.S.

1 1.00 1.00 0.85 0.80 1.25 2.20 2.65 1.70 1.20

time (sec)

N/A 0.127 0.019 0.093 0.209 0.227 0.725 0.289 0.001 0.529

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 26 23 34 38 112 94 42 42

N.S.

1 1.00 0.63 0.56 0.83 0.93 2.73 2.29 1.02 1.02

time (sec)

N/A 0.141 0.093 0.097 0.208 0.226 0.859 0.307 0.002 0.407